Jump to content

Tripod packing

From Wikipedia, the free encyclopedia
Unsolved problem in mathematics:
How many tripods can have their apexes packed into a given cube?
A tripod packing and its corresponding monotonic matrix. This example corresponds to the 2-comparable set {(1,1,1), (1,3,3), (2,1,2), (2,4,3), (3,1,4), (3,4,5), (4,2,1), (4,5,3), (5,2,2), (5,3,4), (5,5,5)}.[1]

In combinatorics, tripod packing is a problem of finding many disjoint tripods in a three-dimensional grid, where a tripod is an infinite polycube, the union of the grid cubes along three positive axis-aligned rays with a shared apex.[1]

Several problems of tiling and packing tripods and related shapes were formulated in 1967 by Sherman K. Stein.[2] Stein originally called the tripods of this problem "semicrosses", and they were also called Stein corners by Solomon W. Golomb.[3] A collection of disjoint tripods can be represented compactly as a monotonic matrix, a square matrix whose nonzero entries increase along each row and column and whose equal nonzero entries are placed in a monotonic sequence of cells,[4] and the problem can also be formulated in terms of finding sets of triples satisfying a compatibility condition called "2-comparability", or of finding compatible sets of triangles in a convex polygon.[1]

The best lower bound known for the number of tripods that can have their apexes packed into an grid is , and the best upper bound is , both expressed in big Omega notation.[1][5]

Equivalent problems

[edit]

The coordinates of the apexes of a solution to the tripod problem form a 2-comparable sets of triples, where two triples are defined as being 2-comparable if there are either at least two coordinates where one triple is smaller than the other, or at least two coordinates where one triple is larger than the other. This condition ensures that the tripods defined from these triples do not have intersecting rays.[1]

Another equivalent two-dimensional version of the question asks how many cells of an array of square cells (indexed from to ) can be filled in by the numbers from to in such a way that the non-empty cells of each row and each column of the array form strictly increasing sequences of numbers, and the positions holding each value form a monotonic chain within the array. An array with these properties is called a monotonic matrix. A collection of disjoint tripods with apexes can be transformed into a monotonic matrix by placing the number in array cell and vice versa.[1]

The problem is also equivalent to finding as many triangles as possible among the vertices of a convex polygon, such that no two triangles that share a vertex have nested angles at that vertex. This triangle-counting problem was posed by Peter Braß[6] and its equivalence to tripod packing was observed by Aronov et al.[1]

Lower bounds

[edit]

It is straightforward to find a solution to the tripod packing problem with tripods.[1] For instance, for , the triples are 2-comparable.

After several earlier improvements to this naïve bound,[7][8][9] Gowers and Long found solutions to the tripod problem of cardinality .[5]

Upper bounds

[edit]

From any solution to the tripod packing problem, one can derive a balanced tripartite graph whose vertices are three copies of the numbers from to (one for each of the three coordinates) with a triangle of edges connecting the three vertices corresponding to the coordinates of the apex of each tripod. There are no other triangles in these graphs (they are locally linear graphs) because any other triangle would lead to a violation of 2-comparability. Therefore, by the known upper bounds to the Ruzsa–Szemerédi problem (one version of which is to find the maximum density of edges in a balanced tripartite locally linear graph), the maximum number of disjoint tripods that can be packed in an grid is , and more precisely .[1][5][9][10] Although Tiskin writes that "tighter analysis of the parameters" can produce a bound that is less than quadratic by a polylogarithmic factor,[9] he does not supply details and his proof that the number is uses only the same techniques that are known for the Ruzsa–Szemerédi problem, so this stronger claim appears to be a mistake.[1]

An argument of Dean Hickerson shows that, because tripods cannot pack space with constant density, the same is true for analogous problems in higher dimensions.[4]

Small instances

[edit]

For small instances of the tripod problem, the exact solution is known. The numbers of tripods that can be packed into an cube, for , are:[9][11][12][13]

1, 2, 5, 8, 11, 14, 19, 23, 28, 32, 38, ...

For instance, the figure shows the 11 tripods that can be packed into a cube.

The number of distinct monotonic matrices of order , for is[14]

2, 19, 712, 87685, 31102080, 28757840751, ...

References

[edit]
  1. ^ a b c d e f g h i j Aronov, Boris; Dujmović, Vida; Morin, Pat; Ooms, Aurélien; Schultz Xavier da Silveira, Luís Fernando (2019), "More Turán-type theorems for triangles in convex point sets", Electronic Journal of Combinatorics, 26 (1): P1.8
  2. ^ Stein, S. K. (1967), "Factoring by subsets", Pacific Journal of Mathematics, 22: 523–541, doi:10.2140/pjm.1967.22.523, MR 0219435
  3. ^ Golomb, S. W. (1969), "A general formulation of error metrics", IEEE Transactions on Information Theory, IT-15: 425–426, doi:10.1109/tit.1969.1054308, MR 0243902
  4. ^ a b Stein, Sherman K.; Szabó, Sándor (1994), Algebra and Tiling: Homomorphisms in the Service of Geometry, Carus Mathematical Monographs, vol. 25, Washington, DC: Mathematical Association of America, p. 97, ISBN 0-88385-028-1, MR 1311249
  5. ^ a b c Gowers, W. T.; Long, J. (January 2021), "The length of an -increasing sequence of -tuples", Combinatorics, Probability and Computing: 1–36, arXiv:1609.08688, doi:10.1017/s0963548320000371
  6. ^ Braß, Peter (2004), "Turán-type extremal problems for convex geometric hypergraphs", in Pach, János (ed.), Towards a theory of geometric graphs, Contemporary Mathematics, vol. 342, Providence, Rhode Island: American Mathematical Society, pp. 25–33, doi:10.1090/conm/342/06128, MR 2065250
  7. ^ Hamaker, William; Stein, Sherman (1984), "Combinatorial packing of by certain error spheres", IEEE Transactions on Information Theory, 30 (2, part 2): 364–368, doi:10.1109/TIT.1984.1056868, MR 0754867
  8. ^ Stein, Sherman K. (March 1995), "Packing tripods", Mathematical entertainments, The Mathematical Intelligencer, 17 (2): 37–39, doi:10.1007/bf03024896. Reprinted in Gale, David (1998), Tracking the Automatic ANT, Springer-Verlag, pp. 131–136, doi:10.1007/978-1-4612-2192-0, ISBN 0-387-98272-8, MR 1661863
  9. ^ a b c d Tiskin, Alexander (2007), "Packing tripods: narrowing the density gap", Discrete Mathematics, 307 (16): 1973–1981, doi:10.1016/j.disc.2004.12.028, MR 2326159
  10. ^ Loh, Po-Shen (2015), Directed paths: from Ramsey to Ruzsa and Szemerédi, arXiv:1505.07312
  11. ^ Szabó, Sándor (2013), "Monotonic matrices and clique search in graphs", Ann. Univ. Sci. Budapest Sect. Comput., 41: 307–322, doi:10.1080/00455091.2001.10717569, MR 3129145
  12. ^ Östergård, Patric R. J.; Pöllänen, Antti (2019), "New results on tripod packings" (PDF), Discrete & Computational Geometry, 61 (2): 271–284, doi:10.1007/s00454-018-0012-2, MR 3903789
  13. ^ Sloane, N. J. A. (ed.), "Sequence A070214", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation
  14. ^ Sloane, N. J. A. (ed.), "Sequence A086976", The On-Line Encyclopedia of Integer Sequences, OEIS Foundation